- упорядочение по сводимости
- reducibility ordering мат.
Русско-английский научно-технический словарь Масловского. 2015.
упорядочение по сводимости
Look at other dictionaries:
РЕКУРСИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел тео рии рекурсивных функций, в к ром рассматриваются и классифицируются подмножества натуральных чисел с алгоритмич. точки зрения, а также исследуются структуры, возникающие в результате такой классификации. Для каждого множества А, к рое… … Математическая энциклопедия
ТАБЛИЧНАЯ СВОДИМОСТЬ — tt сводимост ь, специальный вид алгоритмической сводимости. Пусть Аи В два подмножества натурального ряда. Говорят, что Атаблично сводится к В (обозначение: если существует алгоритм f, к рый по всякому натуральному числу астроит булеву функцию… … Математическая энциклопедия
